Professor Pete Kaiser 1964–2016

Chapter 5: PETE Mentoring as a Mosaic

The Introspectibility of BrainStates as Such PETE

Is the Introspection Thesis true? It certainly isn’t obvious. Introspection is the faculty by which each of us has access to his or her own mental states. Even if we were to suppose that mental states are identical to brain states, it doesn’t follow immediately from this supposition that we can introspect our mental states as brain states. This point is analogous to the following. It doesn’t fo...

Generic Programming in POOMA and PETE

POOMA is a C++ framework for developing portable scientific applications for serial and parallel computers using high-level physical abstractions. PETE is the expression template library used by POOMA. This paper discusses generic programming techniques that are used to achieve flexibility and high performance in POOMA and PETE. POOMA uses an engine class that factors the data representation ou...

2010 Summer Course on Model Theory Pete

Introduction 1 0.1. Some theorems in mathematics with snappy model-theoretic proofs 1 1. Languages, structures, sentences and theories 1 1.1. Languages 1 1.2. Statements and Formulas 4 1.3. Satisfaction 5 1.4. Elementary equivalence 6 1.5. Theories 7 2. Big Theorems: Completeness, Compactness and Löwenheim-Skolem 9 2.1. The Completeness Theorem 9 2.2. Proof-theoretic consequences of the complet...

Pete Mandik Neural Accomplishment of Objectivity

Penultimate English language draft of Mandik, Pete. (in press). L'accomplissement Neural de L'objectivité [The Neural Accomplishment of Objectivity]. In: Elizabeth Ennen, Pierre Poirier, Luc Faucher, and Eric Racine (eds.) Des Neurones à la Philosophie: Neurophilosophie et philosophie des neurosciences [Neurons with philosophy: Neurophilosophy and philosophy of the neurosciences]. Paris: DeBoec...